1. A computer and communications network performance analysis primer
پدیدآورنده : Stuck, B. W.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Evaluation ، Electronic digital computers,Evaluation ، Computer networks
رده :
QA
76
.
9
.
E94
S78
1985
2. ACM SIGMETRICS 2002 : International Conference on Measurement and Modeling of Computer Systems : June 15-19, 2002, Marina Del Rey, California : proceedings
پدیدآورنده : Sponsored by ACM SIGMETRICS
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Evaluation ، Electronic digital computers,Congresses ، Digital computer simulation
رده :
QA
76
.
5
.
I52
2002
3. ACM SIGMETRICS 2003: international conference on measurement and modeling of computer systems, June 10-14, 2003, San Diego, California, USA : proceedings
پدیدآورنده : sponsored by ACM SIGMETRICS
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Evaluation -- Congresses ، Computer networks,Evaluation -- Congresses ، Electronic digital computers
رده :
QA
76
.
5
.
I52
2003
4. Advanced topics on computer vision, control and robotics in mechatronics /
پدیدآورنده : Osslan Osiris Vergara Villegas, Manuel Nandayapa, Israel Soto, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer vision.,Control theory.,Mechatronics.,Robotics.,Automatic control engineering.,Computer vision.,COMPUTERS-- General.,Control theory.,Mechatronics.,Robotics.
رده :
TA1634
.
A38
2018eb
5. Advances in computers.
پدیدآورنده : edited by Marvin V. Zelkowitz.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Computers.,Electronic data processing.,Computer science.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Computers.,Electronic data processing.
رده :
QA76
.
A3eb
vol
.
47
6. Advances in human factors and ergonomics in healthcare /
پدیدآورنده : edited by Vincent G. Duffy
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Health facilities-- Safety measures,Human engineering,Medical care-- Safety measures,Medical errors-- Prevention,Patients-- Safety measures,Delivery of Health Care-- trends,Human Engineering-- methods,Quality Assurance, Health Care-- organization & administration,Safety Management-- methods
رده :
R729
.
8
.
A32
2011
7. Analysis and synthesis of computer systems
پدیدآورنده : E. Gelenbe and I. Mitrani
کتابخانه: کتابخانه مرکزی پردیس 1 فنی دانشگاه تهران (تهران)
موضوع : Electronic digital computers - Evaluation,Queuing theory
رده :
QA
76
.
9
.
E94
8. Battery-free, stretchable optoelectronic systems for wireless optical characterization of the skin.
پدیدآورنده : Kim, JeonghyunSalvatore, Giovanni AAraki, HitoshiChiarelli, Antonio MXie, ZhaoqianBanks, AnthonySheng, XingLiu, YuhaoLee, Jung WooJang, Kyung-InHeo, Seung YunCho, KyoungyeonLuo, HongyingZimmerman, BenjaminKim, JoonheeYan, LingqingFeng, XueXu, ShengFabiani, Monicaet al.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع :
9. Benchmarking : computer evaluation and measurement
پدیدآورنده :
موضوع : ، Electronic digital Computers-- Evaluation-- Congresses
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
10. Biomedical Informatics :
پدیدآورنده : edited by Edward H. Shortliffe, James J. Cimino.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Medical records-- Data processing.,Medicine.,Medical records-- Data processing.,Medicine.
رده :
R858-859
.
7
11. Biomedical informatics :
پدیدآورنده : Edward H. Shortliffe, James J. Cimino, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Bioinformatics.,Biomedical engineering.,Medical informatics.,Bioinformatics.,Biomedical engineering.,Médecine.,Medical informatics.
رده :
R858
.
M397
2014
12. Biomedical informatics :
پدیدآورنده : Edward H. Shortliffe, James J. Cimino, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Bioinformatics.,Biomedical engineering.,Medical informatics.,Medical Informatics.,Bioinformatics.,Biomedical engineering.,Informática médica.,Medical informatics.
رده :
R858
.
M397
2014
13. Capacity planning and performance modeling :
پدیدآورنده : Daniel A. Menascé, Virgilio A.F. Almeida, Larry W. Dowdy.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer capacity-- Planning.,Electronic digital computers-- Evaluation.
14. Computational Techniques in Quantum Chemistry and Molecular Physics :
پدیدآورنده : edited by G.H.F. Diercksen, B.T. Sutcliffe, A. Veillard.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Electronic data processing.
رده :
QC175
.
16
.
M6
E358
1975
15. Computer Assisted Radiology
پدیدآورنده : Computergestützte Radiologie : Proceedings of the International Symposium / Vorträge des Internationalen Symposiums.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Biomedical engineering.,Computer-aided design.,Engineering.
16. Computer-aided verification
پدیدآورنده : edited by Robert Kurshan
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Computer software - Verification , Electronic digital computers - Evaluation
رده :
QA
76
.
76
.
E93
C65
1993
17. Computer-aided verification
پدیدآورنده :
موضوع : Computer software-Verification,Electronic digital computers - Evaluation
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
18. Computer aided verification : fourth International Workshop, CAV'92, Montreal, Quebec, 1992 : proceedings
پدیدآورنده : G.V. Bochmann, D.K. Probst )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer software -- Verification,Evaluation -- Congresses ، Electronic digital computers
رده :
QA
76
.
L28
Vol
.
663
19. Computer aided verification: fourth international workshop, CAV '92, Montreal, Canada, June 29-July 1, 1992: proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : Congresses ، Computer software-- Verification,Congresses ، Electronic digital computers-- Evaluation
رده :
QA
76
.
76
.
E93
.
C38
1993
20. Computer aided verification : fourth international workshop, CAV 92, Montreal, Canada, June 29-July 1, 1992 : proceedings
پدیدآورنده : G. v. Bochmann, D.K. Probst, eds
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Computer software Verification -- Congresses, Integrated circuits Verification -- Congresses, Electronic digital computers Evaluation -- Congresses
رده :
QA
76
.
76
.
V47
C38
1993
